open Signal;;

val ( := ): named -> sigTyp expression -> unit
val string_of_comp: unit -> string